location |
trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/math_cexp_scenario.utz (math_cexp_scenario.utt), line 18817 |
occurence |
scenario |
math_cexp_scenario |
specification function |
cpow_spec() |
parameter value |
CallContext context = [pid=14189,thr=b75376c0] |
parameter value |
UnifloatComplex * @x = (double) -1.0000000000000000e+00 (-0x.8000000000000000P1) + i *(double) 0.0000000000000000e+00 (0x.0000000000000000P1) |
parameter value |
UnifloatComplex * x = (double) -1.0000000000000000e+00 (-0x.8000000000000000P1) + i *(double) 0.0000000000000000e+00 (0x.0000000000000000P1) |
parameter value |
UnifloatComplex * @y = (double) -1.0000000000000000e+00 (-0x.8000000000000000P1) + i *(double) 0.0000000000000000e+00 (0x.0000000000000000P1) |
parameter value |
UnifloatComplex * y = (double) -1.0000000000000000e+00 (-0x.8000000000000000P1) + i *(double) 0.0000000000000000e+00 (0x.0000000000000000P1) |
return value |
(UnifloatComplex *) (double) -1.0000000000000000e+00 (-0x.8000000000000000P1) + i *(double) -1.2246467991473532e-16 (-0x.8D313198A2E03800P-52) |
coverage & branch |
C all parts of arguments are normal |
properties |
REQ failed |
cpow.01 |
REQ failed |
cpow.02 |
expected value |
(double) -1.0000000000000000e+00 (-0x.8000000000000000P1) + i *(double) -1.4797009536535408e-48 (-0x.8A67CC74020BC000P-158) |
kind |
POSTCONDITION_FAILED |